second-order logic - Almanca İngilizce Sözlük